Disable OVMF build - it's not baked yet.

Signed-off-by: Tim Deegan <tim@xen.org>
Committed-by: Keir Fraser <keir@xen.org>

diff --git a/Config.mk b/Config.mk
index ec5485882f0a00fac4920642d9f554ff3c9e12de..9d5a6339a6d1b78a51cd2497b095d0202e83010a 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -207,7 +207,7 @@ SEABIOS_UPSTREAM_TAG ?= rel-1.6.3.2
 
 ETHERBOOT_NICS ?= rtl8139 8086100e
 
-CONFIG_OVMF ?= $(CONFIG_Linux)
+CONFIG_OVMF ?= n
 CONFIG_ROMBIOS ?= y
 CONFIG_SEABIOS ?= y